The PCS Prover in TH OREM
نویسنده
چکیده
Acknowledgement: This paper was written in the frame of the Project "Scientific Computing" sponsored by the Austrian National Science Foundation (FWF), project number SFB 1302. I would also like to thank M. Rosenkranz for helping me in the preparation of this manuscript.
منابع مشابه
Effects of an Orem-based Self-care Program on the Orem's Pattern of Lower-extremity Edema in Patients Undergoing Coronary Artery Bypass Grafting
Background & Objective: Coronary artery disease (CAD) is a cardiovascular disorder associated with long-term constraints in the patients' life. Open heart surgery is an effective treatment for CAD, and the postoperative complications require extensive care, especially by the patient. Self-care education plays a key role in this regard, particularly based on Orem self-care model. The present stu...
متن کاملEffect of Implementing Orem Self-Care Model on Health-Promoting Behaviors of Mothers having Children with Leukemia Referring to the Pediatric Ward of Seyed Al-Shohada Hospital in Isfahan City (Iran) in 2021
Background and Objective: Leukemia refers to one of the most prevailed childhood malignancies. Mothers are the first caregivers of children with leukemia, experiencing a bunch of challenges in dealing with the numerous problems and duties caused by their children’s illness. This study aimed to determine the effect of implementing the Orem self-care model on health-promoting behaviors of mothers...
متن کاملFocus Windows: A New Approach to Presenting Mathematical Proofs (in Automated Theorem Proving Systems)*
We describe a new technique for presenting proofs, in particular proofs generated by automated theorem proving systems like TH @ OREM A . We call this technique "focus windows" technique because with this technique, in each proof step, all the relevant formulae are collected in one window (the "focus window") so that the reader can focus on them. The sequence of focus windows alternates between...
متن کاملThe Effect of Applying Orem Self-care Model on Quality of Life in Iranian Patients: A Systematic Review Study
Introduction: Disease and complications can cause poor quality of life. Self-care provides desirable outcomes in providing, maintaining, and promoting the health of individuals. The Orem model is one of the models that participate in patient care and emphasizes self-care. Methods: This systematic review was conducted by searching Persian articles with the keywords Orem, Self Care, Model/ Theory...
متن کاملThe nurse theorists: 21st-century updates--Dorothea E. Orem.
Dorothea Orem, RN, MSN, Ed, FAAN, began to develop foundations for the selfcare deficit theory of nursing in the 1950s, when the curriculums of most nursing education programs were based on conceptual models from medicine, psychology, and sociology. Thus, Orem is a pioneer in the development of distinctive nursing knowledge. The development of the self-care deficit theory of nursing has been de...
متن کامل